Filename,Num_Variables,Num_Clauses,Total_Weight,Best_Satisfied_Weight,Best_Violated_Weight,Iterations,Elapsed_Time
test0.wcnf,20000,100000,5041089,3853254,1187835,2,1.33501
test10.wcnf,20000,100000,5057556,4212826,844730,2,1.28994
test11.wcnf,20000,100000,5046396,3995215,1051181,2,1.34846
test12.wcnf,20000,100000,5049162,4042332,1006830,2,1.33722
test13.wcnf,20000,100000,5073559,4505160,568399,2,1.30625
test14.wcnf,20000,100000,5035899,4414671,621228,2,1.51288
test15.wcnf,20000,100000,5048346,4486718,561628,2,1.37599
test16.wcnf,20000,100000,5066788,3851843,1214945,2,1.29139
test17.wcnf,20000,100000,5052619,4058481,994138,2,1.40248
test18.wcnf,20000,100000,5038557,3972573,1065984,2,1.28207
test19.wcnf,20000,100000,5040327,3949933,1090394,2,1.29232
test1.wcnf,20000,100000,5034478,3963280,1071198,2,1.31308
test2.wcnf,20000,100000,5036870,4480015,556855,2,1.37055
test3.wcnf,20000,100000,5048071,4485596,562475,2,1.3128
test4.wcnf,20000,100000,5029517,3782818,1246699,2,1.35996
test5.wcnf,20000,100000,5043097,4479958,563139,2,1.39341
test6.wcnf,20000,100000,5048395,4283459,764936,2,1.31751
test7.wcnf,20000,100000,5052142,3836581,1215561,2,1.41992
test8.wcnf,20000,100000,5058415,4495537,562878,2,1.33622
test9.wcnf,20000,100000,5034124,4414235,619889,2,1.37775
